Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo

Source URL: icorating.com

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Alternative currencies
• Computing
• Distributed computing
• Decentralization
• Cross-platform software
• EOS.IO
• Ethereum
• Smart contract
• Bitcoin

Extracted from: Programming Kotlin Creating Elegant, Expressive, and Performant JVM and Android Applications

Source URL: media.pragprog.com

• Computing
• Software engineering
• Object-oriented programming languages
• Programming languages
• Data types
• Java platform
• Kotlin
• Functional programming
• Null
• Java
• Entry point
• Const

Full version of an extended abstract published in ACM CCSTransparency Overlays and Applications Melissa Chase Microsoft Research Redmond

Source URL: smeiklej.com

• Cryptography
• Public key infrastructure
• Transport Layer Security
• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Certificate Transparency
• Peer-to-peer
• Certificate authority

Transparency Overlays and Applications Melissa Chase (Microsoft Research Redmond) Sarah Meiklejohn (University College London) (icons by parkjisun from noun project)

Source URL: smeiklej.com

Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation David Derler, Sebastian Ramacher, and Daniel Slamanig April 2017—FC 2017, Sliema, Malta

Source URL: david.derler.info

• Public-key cryptography
• Cryptography
• Homeomorphisms
• Homomorphic encryption
• Proxy re-encryption
• Digital signature
• Mathematics

Small Data: Applications and Architecture Cheng-Kang Hsieh∗ , Faisal Alquaddoomi† , Fabian Okeke‡ , John P. Pollak§ , Lucky Gunasekara¶ and Deborah Estrink ∗ UCLA CSD; Los Angeles, CA, USA (

Source URL: destrin.smalldata.io

Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Prediction and Uncertainty Quantification of Daily Airport Flight Delays Thomas Vandal

Source URL: proceedings.mlr.press

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Statistics
• Probability and statistics
• Computational statistics
• Long short-term memory
• Recurrent neural network
• Rnn
• Forecasting
• Deep learning
• Artificial intelligence

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA

Source URL: correctness-workshop.github.io

• Computing
• Software engineering
• Computer programming
• X86 instructions
• MOVAPD
• X86 instruction listings
• J
• Compiler
• MOVDDUP

Definition of graph complexes Origins and applications Structure of graph homology Applications and Outlook Graph complexes

Source URL: people.math.ethz.ch

• Graph theory
• Mathematics
• Discrete mathematics
• Graph
• Degree
• Graph coloring

2016 SBST Project Abstracts SBST seeks, where feasible and cost-effective, to implement applications of behavioral insights to Federal policies and programs as demonstration projects, in order to generate evidence about

Source URL: sbst.gov

• Federal Retirement Thrift Investment Board
• Civil service in the United States
• Thrift Savings Plan
• Economy of the United States
• Finance
• Defense Finance and Accounting Service
• Economy